A Validation Approach for Checking Mobile Agents based UML

Mobile Agents are becoming important technology for the development of distributed, heterogeneous and always available systems. The application of Mobile Agent technologies requires extensions to the existing object-oriented modeling languages to accommodate agent-related abstractions such as roles, organizations and environments. If it is difficult to analyze and establish the well-formedness of a set of diagrams of a Unified Modeling Language (UML) like object-oriented modeling language, it gets far more complex when the language is extended to add a set of agency related abstractions. This paper presents a validation approach for checking UML-based Mobile Agents. The goal of the method is to facilitate the analysis of such systems. The method proposes the analysis of Mobile Agent Systems (MAS) designs based on three phases that cover different sets of design properties. Focusing the analysis on related properties grouped into three different phases, facilitates the design activity, the automatic detection of inconsistencies, and the improvement of the design.